FLINT 1.6: Fast Library for Number Theory William B. Hart and Andy Novocin and previously David Harvey December 24, 2010 Contents

Source URL: www.flintlib.org

• Algebra
• Mathematics
• Abstract algebra
• Polynomials
• Computer algebra
• Commutative algebra
• Factorization
• Vector space
• Homogeneous polynomial
• Resultant

Opportunities for Parallelism in Matrix Multiplication FLAME Working Note #71 Tyler M. Smith∗ Robert A. van de Geijn∗

Source URL: www.cs.utexas.edu

• Parallel computing
• Compiler optimizations
• Computer architecture
• CPU cache
• Central processing unit
• Computer memory
• Xeon
• Automatic parallelization
• Basic Linear Algebra Subprograms
• Nehalem
• Thread

Abstract interpretation of probabilistic semantics David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France

Source URL: www-verimag.imag.fr

• Theoretical computer science
• Mathematics
• Mathematical logic
• Logic in computer science
• Programming language semantics
• Measure theory
• Boolean algebra
• Probability theory
• Denotational semantics
• Predicate transformer semantics
• Sigma-algebra
• PP

Some Thoughts About the Use of Computer Algebra Systems in University Teaching Helmer Aslaksen Department of Mathematics National University of Singapore Singapore

Source URL: www.math.nus.edu.sg

R Foundations and Trends in Theoretical Computer Science Vol. 9, No–210 c 2014 S. Sachdeva and N. K. Vishnoi

Source URL: www.cs.yale.edu

• Mathematics
• Algebra
• Mathematical analysis
• Matrix theory
• NP-complete problems
• Numerical analysis
• Polynomial
• Approximation theory
• Pi
• Chebyshev polynomials
• Eigenvalues and eigenvectors
• Matrix

Odyssey 2012 The Speaker and Language Recognition WorkshopJune 2012, Singapore Description and analysis of the Brno276 system for LRE2011 Niko Br¨ummer,2 Sandro Cumani,3 Ondˇrej Glembek,1 Martin Karafi´at,1 Pav

Source URL: www.fit.vutbr.cz

• Algebra
• Mathematics
• Vectors
• Abstract algebra
• Linear algebra
• Machine learning
• Computer accessibility
• Speech recognition
• Euclidean vector
• Pattern recognition
• National Institute of Standards and Technology
• Calibration

Improved algorithms for solving bivariate systems via Rational Univariate Representations Yacine Bouzidi, Sylvain Lazard, Guillaume Moroz, Marc Pouget, Fabrice Rouillier, Michael Sagraloff To cite this version:

Source URL: people.mpi-inf.mpg.de

• Mathematics
• Algebra
• Polynomials
• Computer algebra
• Resultant
• Polynomial
• Factorization
• Primitive part and content
• Greatest common divisor
• Irreducible polynomial
• Sylvester matrix
• Polynomial greatest common divisor

Simulation of Gate Circuits in the Algebra of Transients Janusz Brzozowski and Mihaela Gheorghiu Department of Computer Science, University of Waterloo, Waterloo, ON, Canada N2L 3G1 brzozo,mgheorgh @uwaterloo.ca

Source URL: maveric.uwaterloo.ca

An Algebra for Semantic Construction in Constraint-based Grammars Ann Copestake Computer Laboratory University of Cambridge New Museums Site Pembroke St, Cambridge, UK

Source URL: www.cl.cam.ac.uk

• Semantics
• Computational linguistics
• Generative linguistics
• Type theory
• Logic in computer science
• Head-driven phrase structure grammar
• Minimal recursion semantics
• Valency
• Dependency grammar
• Categorial grammar
• Structure
• Syntax

J´erˆome Leroux Least Significant Digit First Presburger Automata DRAFT. Please do not distribute, but contact the author for a version

Source URL: www.labri.fr

• Mathematics
• Algebra
• Mathematical logic
• Logic in computer science
• Model theory
• Proof theory
• Presburger arithmetic
• Time complexity
• Generalized arithmetic progression
• Polynomial
• Vector space
• Lattice